Model‐Based Reasoning in Distributed Cognitive Systems

Model - based Reasoning in Distributed Cognitive Systems

This paper examines the nature of model-based reasoning in the interplay between theory and experiment in the context of biomedical engineering research laboratories, where problem solving involves using physical models. These “model systems” are sites of experimentation where in vitro models are used to screen, control, and simulate specific aspects of in vivo phenomena. As with all models, si...

Approximate Reasoning in Distributed Systems

In this exposition we sum up our results on approximate reasoning in distributed systems obtained in the last few years. The presented scheme for approximate reasoning is based on rough mereology and encompasses schemes based on fuzzy set theory. 1.INTRODUCTION We present a formal model of approximate reasoning in distributed systems of intelligent agents. The tasks of considered systems of age...

coordination of protective schemes in distribution and subtransmission systems including distributed generation

نصب منابع پراکنده در سیستم های توزیع و فوق توزیع علاوه بر مزیت های فراوان، مشکلاتی را هم به همراه دارد. یکی از این مشکلات تأثیر این منابع روی اندازه جریان های اتصال کوتاه است. به طور معمول از حفاظت های مبتنی بر اصل جریان زیاد در سیستم های توزیع و فوق توزیع استفاده می شود. از مهمترین طرح های حفاظتی استفاده شده در فیدرهای توزیع، حفاظت فیوز- ریکلوزر است. همچنین از طرح های حفاظتی جریان زیاد جهتی در...

Reasoning about distributed systems: WYSIWYG∗

There are two schools of thought on reasoning about distributed systems: one following interleaving based semantics, and one following partial-order/graph based semantics. This paper compares these two approaches and argues in favour of the latter. An introductory treatment of the split-width technique is also provided.

Reasoning about contingent events in distributed systems